home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
AmigActive 2
/
AACD 2.iso
/
AACD
/
Programming
/
fpc
/
compiler
/
pmodules.pas
< prev
next >
Wrap
Pascal/Delphi Source File
|
1998-09-24
|
44KB
|
1,189 lines
{
$Id: pmodules.pas,v 1.2.2.6 1998/09/14 18:58:09 carl Exp $
Copyright (c) 1998 by Florian Klaempfl
Handles the parsing and loading of the modules (ppufiles)
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
****************************************************************************
}
unit pmodules;
interface
uses
dos,strings,
cobjects,globals,scanner,symtable,aasm,tree,pass_1,
types,hcodegen,files,verbose,systems,link,assemble
{$ifdef GDB}
,gdb
{$endif GDB}
{ parser specific stuff }
,pbase,pdecl,pstatmnt,psub
{ processor specific stuff }
{$ifdef i386}
,i386
,cgai386
,tgeni386
,cgi386
,aopt386
{$endif}
{$ifdef m68k}
,m68k
,cga68k
,tgen68k
,cg68k
{$endif}
;
function loadunit(const s : string;compile_system, in_uses : boolean) : pmodule;
procedure proc_unit;
procedure proc_program(islibrary : boolean);
implementation
uses
parser;
{$I innr.inc}
procedure insertinternsyms(p : psymtable);
begin
p^.insert(new(psyssym,init('CONCAT',in_concat_x)));
p^.insert(new(psyssym,init('WRITE',in_write_x)));
p^.insert(new(psyssym,init('WRITELN',in_writeln_x)));
p^.insert(new(psyssym,init('ASSIGNED',in_assigned_x)));
p^.insert(new(psyssym,init('READ',in_read_x)));
p^.insert(new(psyssym,init('READLN',in_readln_x)));
p^.insert(new(psyssym,init('OFS',in_ofs_x)));
p^.insert(new(psyssym,init('SIZEOF',in_sizeof_x)));
p^.insert(new(psyssym,init('TYPEOF',in_typeof_x)));
p^.insert(new(psyssym,init('LOW',in_low_x)));
p^.insert(new(psyssym,init('HIGH',in_high_x)));
p^.insert(new(psyssym,init('SEG',in_seg_x)));
p^.insert(new(psyssym,init('ORD',in_ord_x)));
p^.insert(new(psyssym,init('PRED',in_pred_x)));
p^.insert(new(psyssym,init('SUCC',in_succ_x)));
{ for testing purpose }
p^.insert(new(psyssym,init('DECI',in_dec_x)));
p^.insert(new(psyssym,init('INCI',in_inc_x)));
p^.insert(new(psyssym,init('STR',in_str_x_string)));
end;
procedure load_ppu(oldhp,hp : pmodule;compile_system : boolean);
var
loaded_unit : pmodule;
b : byte;
checksum,
count,
nextmapentry : longint;
hs : string;
w1,w2 : word;
begin
{ init the map }
new(hp^.map);
nextmapentry:=1;
{ load the used units from interface }
hp^.ppufile^.read_data(b,1,count);
while (b=ibloadunit) do
begin
{ read unit name }
hp^.ppufile^.read_data(hs[0],1,count);
hp^.ppufile^.read_data(hs[1],byte(hs[0]),count);
hp^.ppufile^.read_data(checksum,4,count);
{$ifdef BIG_ENDIAN}
w1:=checksum and $ffff;
w2:=checksum shr 16;
checksum:=swap(w2)+(longint(swap(w1)) shl 16);
{$endif}
loaded_unit:=loadunit(hs,false,false);
if hp^.compiled then
exit;
{ if the crc of a used unit is the same as }
{ written to the PPU file, we needn't to }
{ recompile the current unit }
if (loaded_unit^.crc<>checksum) or
(do_build and loaded_unit^.sources_avail) then
begin
{ we have to compile the current unit }
{ remove stuff which isn't needed }
{ forget the map }
dispose(hp^.map);
hp^.map:=nil;
hp^.ppufile^.close;
dispose(hp^.ppufile,done);
hp^.ppufile:=nil;
if assigned(oldhp^.current_inputfile) then
oldhp^.current_inputfile^.tempclose;
compile(hp^.mainsource^,compile_system);
if (not oldhp^.compiled) and assigned(oldhp^.current_inputfile) then
oldhp^.current_inputfile^.tempreopen;
exit;
end;
{ setup the map entry for deref }
hp^.map^[nextmapentry]:=loaded_unit^.symtable;
inc(nextmapentry);
if nextmapentry>maxunits then
Message(unit_f_too_much_units);
{ read until ibend }
hp^.ppufile^.read_data(b,1,count);
end;
{ ok, now load the unit }
hp^.symtable:=new(punitsymtable,load(hp^.unitname^));
{ if this is the system unit insert the intern }
{ symbols }
if compile_system then
insertinternsyms(psymtable(hp^.symtable));
{ now only read the implementation part }
hp^.in_implementation:=true;
{ load the used units from implementation }
hp^.ppufile^.read_data(b,1,count);
while (b<>ibend) and (b=ibloadunit) do
begin
{ read unit name }
hp^.ppufile^.read_data(hs[0],1,count);
hp^.ppufile^.read_data(hs[1],byte(hs[0]),count);
hp^.ppufile^.read_data(checksum,4,count);
loaded_unit:=loadunit(hs,false,false);
if hp^.compiled then exit;
{ if the crc of a used unit is the same as }
{ written to the PPU file, we needn't to }
{ recompile the current unit }
{ but for the implementation part }
{ the written crc is false, because }
{ not defined when writing the ppufile !! }
if {(loaded_unit^.crc<>checksum) or}
(do_build and loaded_unit^.sources_avail) then
begin
{ we have to compile the current unit }
{ remove stuff which isn't needed }
{ forget the map }
dispose(hp^.map);
hp^.map:=nil;
hp^.ppufile^.close;
dispose(hp^.ppufile,done);
hp^.ppufile:=nil;
if not(hp^.sources_avail) then
Message1(unit_f_cant_compile_unit,hp^.unitname^)
else
begin
oldhp^.current_inputfile^.tempclose;
compile(hp^.mainsource^,compile_system);
oldhp^.current_inputfile^.tempclose;
end;
exit;
end;
{ read until ibend }
hp^.ppufile^.read_data(b,1,count);
end;
hp^.ppufile^.close;
dispose(hp^.map);
hp^.map:=nil;
end;
function loadunit(const s : string;compile_system, in_uses : boolean) : pmodule;
var
st : punitsymtable;
old_current_module,hp,nextmodule : pmodule;
pu : pused_unit;
a : pasmfile;
hs : pstring;
i : longint;
begin
old_current_module:=current_module;
{ be sure not to mix lines from different files }
{ update_line; }
{ unit not found }
st:=nil;
{ search all loaded units }
hp:=pmodule(loaded_units.first);
while assigned(hp) do
begin
if hp^.unitname^=s then
begin
{ the unit is already registered }
{ and this means that the unit }
{ is already compiled }
{ else there is a cyclic unit use }
if assigned(hp^.symtable) then
st:=punitsymtable(hp^.symtable)
else
begin
{ recompile the unit ? }
if (not current_module^.in_implementation) and (hp^.in_implementation) then
Message(unit_f_circular_unit_reference);
end;
break;
end;
{ the next unit }
hp:=pmodule(hp^.next);
end;
{ no error and the unit isn't loaded }
if not(assigned(hp)) and (st=nil) then
begin
{ generates a new unit info record }
hp:=new(pmodule,init(s,true));
{ now we can register the unit }
loaded_units.insert(hp);
current_module:=hp;
{ force build ? }
if (hp^.do_compile) or (hp^.sources_avail and do_build) then
begin
{ we needn't the ppufile }
if assigned(hp^.ppufile) then
begin
dispose(hp^.ppufile,done);
hp^.ppufile:=nil;
end;
if not(hp^.sources_avail) then
Message1(unit_f_cant_compile_unit,hp^.unitname^)
else
begin
if assigned(old_current_module^.current_inputfile) then
old_current_module^.current_inputfile^.tempclose;
compile(hp^.mainsource^,compile_system);
if (not old_current_module^.compiled) and assigned(old_current_module^.current_inputfile) then
old_current_module^.current_inputfile^.tempreopen;
end;
end
else
begin
{ only reassemble ? }
if (hp^.do_assemble) then
begin
a:=new(PAsmFile,Init(hp^.asmfilename^));
a^.DoAssemble;
dispose(a,Done);
end;
{ we should know there the PPU file else it's an error and
we can't load the unit }
if hp^.ppufile^.name^<>'' then
begin
if (hp^.flags and uf_in_library)=0 then
Linker.AddObjectFile(hp^.objfilename^);
load_ppu(old_current_module,hp,compile_system);
end;
end;
{ register the unit _once_ }
usedunits.concat(new(pused_unit,init(hp,0)));
{ the unit is written, so we can set the symtable type }
{ to unitsymtable, else we get some dupid errors }
{ this is not the right place because of the }
{ ready label }
{ psymtable(hp^.symtable)^.symtabletype:=unitsymtable; }
{ placed at this end of proc_unit }
psymtable(hp^.symtable)^.unitid:=0;
{ reset the unitnumbers for the other units }
pu:=pused_unit(old_current_module^.used_units.first);
while assigned(pu) do
begin
psymtable(pu^.u^.symtable)^.unitid:=pu^.unitid;
pu:=pused_unit(pu^.next);
end;
end
else
if assigned(hp) and (st=nil) then
begin
{ we have to compile the unit again, but it is already inserted !!}
{ we may have problem with the lost symtable !! }
current_module:=hp;
{ we must preserve the unit chain }
nextmodule:=pmodule(hp^.next);
{ we have to cleanup a little }
hp^.special_done;
new(hs);
hs^:=hp^.mainsource^;
hp^.init(hs^,true);
dispose(hs);
{ we must preserve the unit chain }
hp^.next:=nextmodule;
if assigned(hp^.ppufile) then
load_ppu(old_current_module,hp,compile_system)
else
begin
if assigned(old_current_module^.current_inputfile) then
old_current_module^.current_inputfile^.tempclose;
Message1(parser_d_compiling_second_time,hp^.mainsource^);
compile(hp^.mainsource^,compile_system);
if (not old_current_module^.compiled) and assigned(old_current_module^.current_inputfile) then
old_current_module^.current_inputfile^.tempreopen;
end;
current_module^.compiled:=true;
end;
{ set the old module }
current_module:=old_current_module;
{ the current module uses the unit hp }
current_module^.used_units.concat(new(pused_unit,init(hp,0)));
pused_unit(current_module^.used_units.last)^.in_uses:=in_uses;
if in_uses and not current_module^.in_implementation then
pused_unit(current_module^.used_units.last)^.in_interface:=true;
loadunit:=hp;
end;
procedure loadunits;
var
s : stringid;
hp : pused_unit;
hp2 : pmodule;
hp3 : psymtable;
oldprocsym:Pprocsym;
begin
oldprocsym:=aktprocsym;
consume(_USES);
{$ifdef DEBUG}
test_symtablestack;
{$endif DEBUG}
repeat
s:=pattern;
consume(ID);
hp2:=loadunit(s,false,true);
if current_module^.compiled then
exit;
refsymtable^.insert(new(punitsym,init(s,hp2^.symtable)));
if token=COMMA then
begin
pattern:='';
consume(COMMA);
end
else
break;
until false;
consume(SEMICOLON);
{ now insert the units in the symtablestack }
hp:=pused_unit(current_module^.used_units.first);
{ set the symtable to systemunit so it gets reorderd correctly }
symtablestack:=systemunit;
while assigned(hp) do
begin
{$IfDef GDB}
if (cs_debuginfo in aktswitches) and
not hp^.is_stab_written then
begin
punitsymtable(hp^.u^.symtable)^.concattypestabto(debuglist);
hp^.is_stab_written:=true;
hp^.unitid:=psymtable(hp^.u^.symtable)^.unitid;
end;
{$EndIf GDB}
if hp^.in_uses then
begin
hp3:=symtablestack;
while assigned(hp3) do
begin
{ insert units only once ! }
if hp^.u^.symtable=hp3 then
break;
hp3:=hp3^.next;
{ unit isn't inserted }
if hp3=nil then
begin
psymtable(hp^.u^.symtable)^.next:=symtablestack;
symtablestack:=psymtable(hp^.u^.symtable);
{$ifdef CHAINPROCSYMS}
symtablestack^.chainprocsyms;
{$endif CHAINPROCSYMS}
{$ifdef DEBUG}
test_symtablestack;
{$endif DEBUG}
end;
end;
end;
hp:=pused_unit(hp^.next);
end;
aktprocsym:=oldprocsym;
end;
procedure parse_uses(symt:Psymtable);
begin
if token=_USES then
begin
current_module^.in_implementation:=true;
symt^.symtabletype:=unitsymtable;
loadunits;
symt^.symtabletype:=globalsymtable;
{$ifdef DEBUG}
test_symtablestack;
{$endif DEBUG}
end;
end;
procedure proc_unit;
var
unitname : stringid;
{$ifdef GDB}
{ several defs to simulate more or less C++ objects for GDB }
vmtdef : precdef;
pvmtdef : ppointerdef;
vmtarraydef : parraydef;
vmtsymtable : psymtable;
{$endif GDB}
names:Tstringcontainer;
p : psymtable;
unitst : punitsymtable;
pu : pused_unit;
{ the output ppufile is written to this path }
s1,s2,s3:^string; {Saves stack space, but only eats heap
space when there is a lot of heap free.}
begin
consume(_UNIT);
stringdispose(current_module^.objfilename);
stringdispose(current_module^.ppufilename);
{ create filenames and check unit name }
new(s1);
new(s2);
new(s3);
s1^:=FixFileName(current_module^.current_inputfile^.path^+current_module^.current_inputfile^.name^);
current_module^.objfilename:=stringdup(s1^+target_info.objext);
current_module^.ppufilename:=stringdup(s1^+target_info.unitext);
s1^:=upper(pattern);
s2^:=upper(target_info.system_unit);
s3^:=upper(current_module^.current_inputfile^.name^);
if (cs_compilesystem in aktswitches) then
begin
if (cs_check_unit_name in aktswitches) and
((length(pattern)>8) or (s1^<>s2^) or (s1^<>s3^)) then
Message1(unit_e_illegal_unit_name,s1^);
end
else
if (s1^=s2^) then
Message(unit_w_switch_us_missed);
dispose(s3);
dispose(s2);
dispose(s1);
{ add object }
Linker.AddObjectFile(current_module^.objfilename^);
unitname:=pattern;
consume(ID);
consume(SEMICOLON);
consume(_INTERFACE);
{ this should be placed after uses !!}
{$ifndef UseNiceNames}
procprefix:='_'+unitname+'$$';
{$else UseNiceNames}
procprefix:='_'+tostr(length(unitname))+lowercase(unitname)+'_';
{$endif UseNiceNames}
parse_only:=true;
{ generate now the global symboltable }
p:=new(punitsymtable,init(globalsymtable,unitname));
refsymtable:=p;
unitst:=punitsymtable(p);
{ set the symbol table for the current unit }
{ this must be set later for interdependency }
{ current_module^.symtable:=psymtable(p); }
{ a unit compiled at command line must be inside the loaded_unit list }
if (compile_level=1) then
begin
current_module^.unitname:=stringdup(unitname);
loaded_units.insert(current_module);
if cs_unit_to_lib in initswitches then
begin
current_module^.flags:=current_module^.flags or uf_in_library;
if cs_shared_lib in initswitches then
current_module^.flags:=current_module^.flags or uf_shared_library;
end;
end;
{ insert qualifier for the system unit (allows system.writeln) }
if not(cs_compilesystem in aktswitches) then
begin
{ insert the system unit }
{ it is allways the first }
systemunit^.next:=nil;
symtablestack:=systemunit;
refsymtable^.insert(new(punitsym,init('SYSTEM',systemunit)));
if token=_USES then
begin
unitst^.symtabletype:=unitsymtable;
loadunits;
{ has it been compiled at a higher level ?}
if current_module^.compiled then
exit;
unitst^.symtabletype:=globalsymtable;
end;
{ ... but insert the symbol table later }
p^.next:=symtablestack;
symtablestack:=p;
end
else
{ while compiling a system unit, some types are directly inserted }
begin
p^.next:=symtablestack;
symtablestack:=p;
p^.insert(new(ptypesym,init('longint',s32bitdef)));
p^.insert(new(ptypesym,init('ulong',u32bitdef)));
p^.insert(new(ptypesym,init('void',voiddef)));
p^.insert(new(ptypesym,init('char',cchardef)));
{$ifdef i386}
p^.insert(new(ptypesym,init('s64real',c64floatdef)));
{$endif i386}
p^.insert(new(ptypesym,init('s80real',s80floatdef)));
p^.insert(new(ptypesym,init('cs32fixed',s32fixeddef)));
p^.insert(new(ptypesym,init('byte',u8bitdef)));
p^.insert(new(ptypesym,init('string',cstringdef)));
p^.insert(new(ptypesym,init('word',u16bitdef)));
p^.insert(new(ptypesym,init('boolean',booldef)));
p^.insert(new(ptypesym,init('void_pointer',voidpointerdef)));
p^.insert(new(ptypesym,init('file',cfiledef)));
{$ifdef i386}
p^.insert(new(ptypesym,init('REAL',new(pfloatdef,init(s64real)))));
p^.insert(new(ptypesym,init('COMP',new(pfloatdef,init(s64bit)))));
p^.insert(new(ptypesym,init('EXTENDED',new(pfloatdef,init(s80real)))));
{$endif}
{$ifdef m68k}
{ internal definitions }
p^.insert(new(ptypesym,init('s32real',c64floatdef)));
{ mappings... }
p^.insert(new(ptypesym,init('REAL',new(pfloatdef,init(s32real)))));
if (cs_fp_emulation) in aktswitches then
p^.insert(new(ptypesym,init('DOUBLE',new(pfloatdef,init(s32real)))))
else
p^.insert(new(ptypesym,init('DOUBLE',new(pfloatdef,init(s64real)))));
{ p^.insert(new(ptypesym,init('COMP',new(pfloatdef,init(s32real)))));}
if (cs_fp_emulation) in aktswitches then
p^.insert(new(ptypesym,init('EXTENDED',new(pfloatdef,init(s32real)))))
else
p^.insert(new(ptypesym,init('EXTENDED',new(pfloatdef,init(s80real)))));
{$endif}
p^.insert(new(ptypesym,init('SINGLE',new(pfloatdef,init(s32real)))));
p^.insert(new(ptypesym,init('POINTER',new(ppointerdef,init(voiddef)))));
p^.insert(new(ptypesym,init('STRING',cstringdef)));
p^.insert(new(ptypesym,init('BOOLEAN',new(porddef,init(bool8bit,0,1)))));
p^.insert(new(ptypesym,init('CHAR',new(porddef,init(uchar,0,255)))));
p^.insert(new(ptypesym,init('TEXT',new(pfiledef,init(ft_text,nil)))));
p^.insert(new(ptypesym,init('CARDINAL',new(porddef,init(u32bit,0,$ffffffff)))));
p^.insert(new(ptypesym,init('FIXED',new(pfloatdef,init(f32bit)))));
p^.insert(new(ptypesym,init('FIXED16',new(pfloatdef,init(f16bit)))));
p^.insert(new(ptypesym,init('TYPEDFILE',new(pfiledef,init(ft_typed,voiddef)))));
{ !!!!!
p^.insert(new(ptypesym,init('COMP',new(porddef,init(s64bit,0,0)))));
p^.insert(new(ptypesym,init('SINGLE',new(porddef,init(s32real,0,0)))));
p^.insert(new(ptypesym,init('EXTENDED',new(porddef,init(s80real,0,0)))));
p^.insert(new(ptypesym,init('FILE',new(pfiledef,init(ft_untyped,nil)))));
}
{ Add a type for virtual method tables in lowercase }
{ so it isn't reachable! }
{$ifdef GDB}
vmtsymtable:=new(psymtable,init(recordsymtable));
vmtdef:=new(precdef,init(vmtsymtable));
pvmtdef:=new(ppointerdef,init(vmtdef));
vmtsymtable^.insert(new(pvarsym,init('parent',pvmtdef)));
vmtsymtable^.insert(new(pvarsym,init('length',globaldef('longint'))));
vmtsymtable^.insert(new(pvarsym,init('mlength',globaldef('longint'))));
vmtarraydef:=new(parraydef,init(0,1,s32bitdef));
vmtarraydef^.definition := voidpointerdef;
vmtsymtable^.insert(new(pvarsym,init('__pfn',vmtarraydef)));
p^.insert(new(ptypesym,init('__vtbl_ptr_type',vmtdef)));
p^.insert(new(ptypesym,init('pvmt',pvmtdef)));
vmtarraydef:=new(parraydef,init(0,1,s32bitdef));
vmtarraydef^.definition := pvmtdef;
p^.insert(new(ptypesym,init('vtblarray',vmtarraydef)));
insertinternsyms(p);
{$endif GDB}
end;
{ displaced for inter-dependency considerations }
current_module^.symtable:=psymtable(p);
constsymtable:=symtablestack;
{ ... parse the declarations }
read_interface_declarations;
consume(_IMPLEMENTATION);
parse_only:=false;
refsymtable^.number_defs;
{$ifdef GDB}
{ add all used definitions even for implementation}
if (cs_debuginfo in aktswitches) then
begin
{ all types }
punitsymtable(refsymtable)^.concattypestabto(debuglist);
{ and all local symbols}
refsymtable^.concatstabto(debuglist);
end;
{$endif GDB}
{ for interdependent units
the crc is included in the ppufile
but it is not known when writing the first ppufile
so I tried to add a fake writing of the ppu
just to get the CRC
but the result is different for the real CRC
it calculates after, I don't know why
Answer:
-------
When reading the interface part, the compiler assumes
that all registers are modified by a procedure
usedinproc:=$ff !
If the definition is read, the compiler determines
the used registers and write the correct value
to usedinproc
only_calculate_crc:=true;
writeunitas(current_module^.current_inputfile^.path^+current_module^.current_inputfile^.name^+
+'.PPS',punitsymtable(symtablestack));
only_calculate_crc:=false;
}
{ generates static symbol table }
p:=new(punitsymtable,init(staticsymtable,unitname));
refsymtable:=p;
{Generate a procsym.}
aktprocsym:=new(Pprocsym,init(unitname+'_init'));
aktprocsym^.definition:=new(Pprocdef,init);
aktprocsym^.definition^.options:=aktprocsym^.definition^.options or pounitinit;
aktprocsym^.definition^.setmangledname(unitname+'_init');
{The generated procsym has a local symtable. Discard it and turn
it into the static one.}
dispose(aktprocsym^.definition^.localst,done);
aktprocsym^.definition^.localst:=p;
names.init;
names.insert(unitname+'_init');
{ testing !!!!!!!!! }
{ we set the interface part as a unitsymtable }
{ for the case we need to compile another unit }
{ remove the globalsymtable from the symtable stack }
{ to reinsert it after loading the implementation units }
symtablestack:=unitst^.next;
parse_uses(unitst);
{ duplicated here to be sure }
{$ifndef UseNiceNames}
procprefix:='_'+unitname+'$$';
{$else UseNiceNames}
procprefix:='_'+tostr(length(unitname))+lowercase(unitname)+'_';
{$endif UseNiceNames}
{ but reinsert the global symtable as lasts }
unitst^.next:=symtablestack;
symtablestack:=unitst;
{$ifdef DEBUG}
test_symtablestack;
{$endif DEBUG}
constsymtable:=symtablestack;
{$ifdef Splitheap}
if testsplit then
begin
Split_Heap;
allow_special:=true;
Switch_to_temp_heap;
end;
{$endif Splitheap}
{$ifdef Splitheap}
{ it will report all crossings }
allow_special:=false;
{$endif Splitheap}
{ set some informations }
procinfo.retdef:=voiddef;
procinfo._class:=nil;
procinfo.call_offset:=8;
{ for temporary values }
procinfo.framepointer:=frame_pointer;
{ clear flags }
procinfo.flags:=0;
{Reset the codegenerator.}
codegen_newprocedure;
names.insert('INIT$$'+unitname);
compile_proc_body(names,true,false);
codegen_doneprocedure;
consume(POINT);
names.done;
{ size of the static data }
datasize:=symtablestack^.datasize;
{ unsed static symbols ? }
symtablestack^.allsymbolsused;
{$ifdef GDB}
{ add all used definitions even for implementation}
if (cs_debuginfo in aktswitches) then
begin
{ all types }
punitsymtable(symtablestack)^.concattypestabto(debuglist);
{ and all local symbols}
symtablestack^.concatstabto(debuglist);
end;
{$endif GDB}
current_module^.in_implementation:=false;
{ deletes all symtables generated in the implementation part }
while symtablestack^.symtabletype<>globalsymtable do
dellexlevel;
{ tests, if all forwards are resolved }
symtablestack^.check_forwards;
symtablestack^.symtabletype:=unitsymtable;
punitsymtable(symtablestack)^.is_stab_written:=false;
{Write out the unit if the compile was succesfull.}
if errorcount=0 then
writeunitas(current_module^.ppufilename^,punitsymtable(symtablestack));
pu:=pused_unit(usedunits.first);
while assigned(pu) do
begin
punitsymtable(pu^.u^.symtable)^.is_stab_written:=false;
pu:=pused_unit(pu^.next);
end;
inc(datasize,symtablestack^.datasize);
end;
procedure proc_program(islibrary : boolean);
var
i : longint;
st : psymtable;
programname : stringid;
names:Tstringcontainer;
begin
{ Trying to compile the system unit... }
{ if no unit defined... then issue a }
{ fatal error (avoids pointer problems)}
{ when referencing the non-existant }
{ system unit. }
if (cs_compilesystem in aktswitches) then
Begin
if token<>_UNIT then
Message1(scan_f_syn_expected,'UNIT');
consume(_UNIT);
end;
parse_only:=false;
programname:='';
if islibrary then
begin
consume(_LIBRARY);
programname:=pattern;
consume(ID);
consume(SEMICOLON);
end
else
{ is there an program head ? }
if token=_PROGRAM then
begin
consume(_PROGRAM);
programname:=pattern;
consume(ID);
if token=LKLAMMER then
begin
consume(LKLAMMER);
idlist;
consume(RKLAMMER);
end;
consume(SEMICOLON);
end;
{ insert after the unit symbol tables the static symbol table }
{ of the program }
st:=new(punitsymtable,init(staticsymtable,programname));
{Generate a procsym.}
aktprocsym:=new(Pprocsym,init('main'));
aktprocsym^.definition:=new(Pprocdef,init);
aktprocsym^.definition^.options:=aktprocsym^.definition^.options or poproginit;
aktprocsym^.definition^.setmangledname(target_info.Cprefix+'main');
{The localst is a local symtable. Change it into the static
symtable.}
dispose(aktprocsym^.definition^.localst,done);
aktprocsym^.definition^.localst:=st;
names.init;
names.insert('program_init');
refsymtable:=st;
{Insert the symbols of the system unit into the stack of symbol
tables.}
symtablestack:=systemunit;
systemunit^.next:=nil;
refsymtable^.insert(new(punitsym,init('SYSTEM',systemunit)));
{Load the units used by the program we compile.}
if token=_USES then loadunits;
{Insert the name of the main program into the symbol table.}
if programname<>'' then
st^.insert(new(pprogramsym,init(programname)));
{ ...is also constsymtable, this is the symtable where }
{ the elements of enumeration types are inserted }
constsymtable:=st;
codegen_newprocedure;
{ set some informations about the main program }
procinfo.retdef:=voiddef;
procinfo._class:=nil;
procinfo.call_offset:=8;
{Set the framepointer of the program initialization to the
default framepointer (EBP on i386).}
procinfo.framepointer:=frame_pointer;
{ clear flags }
procinfo.flags:=0;
procprefix:='';
in_except_block:=false;
{The program intialization needs an alias, so it can be called
from the bootstrap code.}
case target_info.target of
target_GO32V1,
target_GO32V2,
target_OS2,
target_WIN32,
target_AMIGA,
target_ATARI:
names.insert('_main');
target_LINUX:
names.insert('main');
end;
if target_info.target=target_PalmOS then
names.insert('PilotMain');
names.insert('PASCALMAIN');
compile_proc_body(names,true,false);
codegen_doneprocedure;
Linker.AddObjectFile(current_module^.unitname^);
current_module^.linkofiles.insert(current_module^.unitname^);
{ On the Macintosh Classic M68k Architecture }
{ The Heap variable is simply a POINTER to the }
{ real HEAP. The HEAP must be set up by the RTL }
{ and must store the pointer in this value. }
{On OS/2 the heap is also intialized by the RTL. We do
not output a pointer.}
if target_info.target<>target_OS2 then
if (target_info.target = target_MAC68k) then
bsssegment^.concat(new(pai_datablock,init_global('HEAP',4)))
else
bsssegment^.concat(new(pai_datablock,init_global('HEAP',heapsize)));
if target_info.target in [target_GO32V2,target_ATARI] then
begin
{ stacksize can be specified }
datasegment^.concat(new(pai_symbol,init_global('__stklen')));
datasegment^.concat(new(pai_const,init_32bit(stacksize)));
end;
if (target_info.target=target_WIN32) then
begin
{ generate the last entry for the imports directory }
if not(assigned(importssection)) then
importssection:=new(paasmoutput,init);
{ $3 ensure that it is the last entry, all other entries }
{ are written to $2 }
importssection^.concat(new(pai_section,init('.idata$3')));
for i:=1 to 5 do
importssection^.concat(new(pai_const,init_32bit(0)));
end;
{I prefer starting with a heapsize of 256K in OS/2. The heap can
grow later until the size specified on the command line. Allocating
four megs at once can hurt performance when more programs are in
memory.}
{$ifdef i386}
datasegment^.concat(new(pai_symbol,init_global('HEAPSIZE')));
{$endif i386}
{$ifdef m68k}
datasegment^.concat(new(pai_symbol,init_global('HEAP_SIZE')));
{$endif m68k}
if target_info.target=target_OS2 then
heapsize:=256*1024;
datasegment^.concat(new(pai_const,init_32bit(heapsize)));
datasize:=symtablestack^.datasize;
names.done;
consume(POINT);
symtablestack^.check_forwards;
symtablestack^.allsymbolsused;
end;
end.
{
$Log: pmodules.pas,v $
Revision 1.2.2.6 1998/09/14 18:58:09 carl
* correct endian for reading of CRC
Revision 1.2.2.5 1998/08/18 13:37:43 carl
+ compile time stack setting for ATARI
+ main support for m68k targets
Revision 1.2.2.4 1998/08/13 17:41:25 florian
+ some stuff for the PalmOS added
Revision 1.2.2.3 1998/08/05 10:33:52 pierre
* added tempclose and temp reopen
to be able to compile lots of dependent units
Revision 1.2.2.2 1998/07/08 12:05:56 carl
* HEAPSIZE replaced by HEA_PSIZE for m68k targets
Revision 1.2.2.1 1998/04/06 16:21:10 peter
* carl and mine bugfixes from the mainbranch applied
Revision 1.2 1998/03/30 15:53:01 florian
* last changes before release:
- gdb fixed
- ratti386 warning removed (about unset function result)
Revision 1.1.1.1 1998/03/25 11:18:15 root
* Restored version
Revision 1.43 1998/03/20 23:31:34 florian
* bug0113 fixed
* problem with interdepened units fixed ("options.pas problem")
* two small extensions for future AMD 3D support
Revision 1.42 1998/03/11 22:22:52 florian
* Fixed circular unit uses, when the units are not in the current dir (from Peter)
* -i shows correct info, not <lf> anymore (from Peter)
* linking with shared libs works again (from Peter)
Revision 1.41 1998/03/10 17:19:29 peter
* fixed bug0108
* better linebreak scanning (concentrated in nextchar(), it supports
#10, #13, #10#13, #13#10
Revision 1.40 1998/03/10 16:27:42 pierre
* better line info in stabs debug
* symtabletype and lexlevel separated into two fields of tsymtable
+ ifdef MAKELIB for direct library output, not complete
+ ifdef CHAINPROCSYMS for overloaded seach across units, not fully
working
+ ifdef TESTFUNCRET for setting func result in underfunction, not
working
Revision 1.39 1998/03/10 01:17:24 peter
* all files have the same header
* messages are fully implemented, EXTDEBUG uses Comment()
+ AG... files for the Assembler generation
Revision 1.38 1998/03/05 22:43:50 florian
* some win32 support stuff added
Revision 1.37 1998/03/04 01:35:08 peter
* messages for unit-handling and assembler/linker
* the compiler compiles without -dGDB, but doesn't work yet
+ -vh for Hint
Revision 1.36 1998/03/03 23:18:45 florian
* ret $8 problem with unit init/main program fixed
Revision 1.35 1998/03/02 13:38:48 peter
+ importlib object
* doesn't crash on a systemunit anymore
* updated makefile and depend
Revision 1.34 1998/03/02 01:49:04 peter
* renamed target_DOS to target_GO32V1
+ new verbose system, merged old errors and verbose units into one new
verbose.pas, so errors.pas is obsolete
Revision 1.33 1998/03/01 22:46:20 florian
+ some win95 linking stuff
* a couple of bugs fixed:
bug0055,bug0058,bug0059,bug0064,bug0072,bug0093,bug0095,bug0098
Revision 1.32 1998/02/28 09:30:58 florian
+ writing of win32 import section added
Revision 1.31 1998/02/28 03:57:08 carl
+ replaced target_info.short_name by target_info.target (a bit faster)
Revision 1.30 1998/02/27 09:25:58 daniel
* Changed symtable handling so no junk symtable is put on the symtablestack.
Revision 1.28 1998/02/24 14:20:54 peter
+ tstringcontainer.empty
* ld -T option restored for linux
* libraries are placed before the objectfiles in a .PPU file
* removed 'uses link' from files.pas
Revision 1.27 1998/02/24 00:19:19 peter
* makefile works again (btw. linux does like any char after a \ )
* removed circular unit with assemble and files
* fixed a sigsegv in pexpr
* pmodule init unit/program is the almost the same, merged them
Revision 1.26 1998/02/22 23:55:18 peter
* small fix
Revision 1.25 1998/02/22 23:03:28 peter
* renamed msource->mainsource and name->unitname
* optimized filename handling, filename is not seperate anymore with
path+name+ext, this saves stackspace and a lot of fsplit()'s
* recompiling of some units in libraries fixed
* shared libraries are working again
+ $LINKLIB <lib> to support automatic linking to libraries
+ libraries are saved/read from the ppufile, also allows more libraries
per ppufile
Revision 1.24 1998/02/22 18:51:06 carl
* where the heck did the HEAP for m68k go??????? REINSTATED
Revision 1.23 1998/02/21 05:50:14 carl
* bugfix of crash with Us switch
Revision 1.22 1998/02/19 00:11:08 peter
* fixed -g to work again
* fixed some typos with the scriptobject
Revision 1.21 1998/02/17 21:20:57 peter
+ Script unit
+ __EXIT is called again to exit a program
- target_info.link/assembler calls
* linking works again for dos
* optimized a few filehandling functions
* fixed stabs generation for procedures
Revision 1.20 1998/02/16 12:51:38 michael
+ Implemented linker object
Revision 1.19 1998/02/14 01:45:29 peter
* more fixes
- pmode target is removed
- search_as_ld is removed, this is done in the link.pas/assemble.pas
+ findexe() to search for an executable (linker,assembler,binder)
Revision 1.18 1998/02/13 22:26:37 peter
* fixed a few SigSegv's
* INIT$$ was not written for linux!
* assembling and linking works again for linux and dos
+ assembler object, only attasmi3 supported yet
* restore pp.pas with AddPath etc.
Revision 1.17 1998/02/13 10:35:27 daniel
* Made Motorola version compilable.
* Fixed optimizer
Revision 1.16 1998/02/12 17:19:22 florian
* fixed to get remake3 work, but needs additional fixes (output, I don't like
also that aktswitches isn't a pointer)
Revision 1.15 1998/02/12 11:50:28 daniel
Yes! Finally! After three retries, my patch!
Changes:
Complete rewrite of psub.pas.
Added support for DLL's.
Compiler requires less memory.
Platform units for each platform.
Revision 1.14 1998/01/30 17:31:26 pierre
* bug of cyclic symtablestack fixed
Revision 1.13 1998/01/28 13:48:49 michael
+ Initial implementation for making libs from within FPC. Not tested, as compiler does not run
Revision 1.12 1998/01/19 15:46:25 peter
* fixed INIT$$lowercase generation
Revision 1.11 1998/01/19 09:32:28 michael
* Shared Lib and GDB/RHIDE Bufixes from Peter Vreman.
Revision 1.10 1998/01/17 01:57:39 michael
+ Start of shared library support. First working version.
Revision 1.9 1998/01/16 18:03:17 florian
* small bug fixes, some stuff of delphi styled constructores added
Revision 1.8 1998/01/13 23:11:15 florian
+ class methods
Revision 1.7 1998/01/13 17:13:09 michael
* File time handling and file searching is now done in an OS-independent way,
using the new file treating functions in globals.pas.
Revision 1.6 1998/01/13 16:16:03 pierre
* bug in interdependent units handling
- primary unit was not in loaded_units list
- current_module^.symtable was assigned too early
- donescanner must not call error if the compilation
of the unit was done at a higher level.
Revision 1.5 1998/01/12 13:03:32 florian
+ parsing of class methods implemented
Revision 1.4 1998/01/11 10:54:24 florian
+ generic library support
Revision 1.3 1998/01/11 04:17:36 carl
+ floating point support for m68k
Revision 1.2 1998/01/09 09:10:01 michael
+ Initial implementation, second try
}